[[Semigroup object]]
# Category of semigroup objects

The **category of semigroups in $\cat C$**, denoted $\Smgr_{\cat C}$, is a [[category]] where
an object is a [[Semigroup object]] in $\cat C$
and a morphism is a [[homomorphism of semigroup objects]]. #m/def/cat


#
---
#state/develop | #lang/en | #SemBr